$X$@$i$($s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$X$($s$($i$))